Extracting fairly accurate proton range formulas for use in microdosimetry
نویسندگان
چکیده
منابع مشابه
Quantum mechanical proton range in human body
Introduction: Proton therapy delivers radiation to tumor tissue in a much more confined way than conventional photon therapy thus allowing the radiation oncologist to use a greater dose while still minimizing side. Materials and Methods: protons release most of their energy within the tumor region. As a result, the treating physician can potentially give an...
متن کاملRange Restriction for General Formulas
Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP -operator: the fixpoint can still ...
متن کاملAccurate pricing formulas for Asian options
Asian options have payoffs that depend on the average price of the underlying asset such as stocks, commodities, or financial indices. As exact closed-form formulas do not exist for these popular options, how to price them numerically in an efficient and accurate manner has been extensively investigated. There are two types of Asian options, fixed-strike and floating-strike Asian options. Excel...
متن کاملExtracting Minimal and Closed Monotone DNF Formulas
In this paper, first we introduce minimal and closed monotone DNF formulas as extensions of maximal and closed itemsets. Next, by incorporating the algorithm dnf cover designed by Hirata et al. (2003) with the algorithm Charm designed by Zaki and Hsiao (2002), we design the algorithm cdnf cover to extract closed monotone DNF formulas with a pruning as same as dnf cover . Finally, we implement c...
متن کاملExtracting Certificates from Quantified Boolean Formulas
A certificate of satisfiability for a quantified boolean formula is a compact representation of one of its models which is used to provide solverindependent evidence of satisfiability. In addition, it can be inspected to gather explicit information about the semantics of the formula. Due to the intrinsic nature of quantified formulas, such certificates demand much care to be efficiently extract...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Mexicana de Física
سال: 2019
ISSN: 2683-2224,0035-001X
DOI: 10.31349/revmexfis.65.566